Oberseminar Theoretische Informatik - Sommersemester 96

Theoretische Informatik / Formale Sprachen

Wilhelm-Schickard Institut für Informatik

Universität Tübingen

Sand 13

D-72076 Tübingen

Germany

11.5.95 (Tübingen, Raum 008, 10.45) (*)

Henning Fernau (Universität Tübingen):
Zum Wortproblem bei 1-limitierten L Systemen

18.5.95 (Stuttgart, Raum 1.039, 10.45) (*)

Anca Muscholl:
Zwei Entscheidungsprobleme für Spursprachen

1.6.95 (Tübingen, Raum 008, 10.00)

Michael Kaufmann (Universität Tübingen):
Routing on Meshes with Buses

8.6.95 (Stuttgart, Raum 1.039, 10.45) (*)

K.-J. Lange (Universität Tübingen):
Exponentielle Größe und eindeutige Hierarchien

22.6.95 (Tübingen, Raum 008, 10.45) (*)

Holger Petersen:
Alternierung bei einfachen Maschinenmodellen

29.6.95 (Tübingen, Raum 008, 10.00)

J. Hudelmaier (Universität Tübingen):
Eine Normalform für die intuitionistische Aussagenlogik

6.7.95 (Tübingen, Raum 008, 10.45) (*)

H.Fernau, M.Holzer, K.Reinhardt (Universität Tübingen):
Diverse Vorträge, die auf den Tagungen DLT, MFCS und FCT in Kürze gehalten werden

K.Reinhardt:
On the Synchronization of Semi-Traces

H.Bordihn (Magdeburg) und H.Fernau:
Accepting Grammars and Systems: an Overview

M. Holzer:
Automata That Take Advice

13.7.95 (Tübingen, Raum 008, 10.00)

Ulrich Fößmeier (Universität Tübingen):
3D-RSMT's

20.7.95 (Stuttgart, Raum 1.039, 10.45) (*)

Michael Bertol:
Titel wird noch bekannt gegeben

(*) Die betreffenden Veranstaltungen finden in Zusammenarbeit mit der Universität Stuttgart statt. Für die Termine in Stuttgart startet um 10.00 Uhr der WSI-Bus ab Sand zur Fahrt nach Stuttgart-Vaihingen.

This page was last updated on Juli 18th, 1997 by P. Meißner